discrete math uncountable